Control and Stabilization of Discrete Event Systems with Limited Look-Ahead Policies
نویسندگان
چکیده
In this thesis, stability of a class of discrete event systems (DES) is studied using the Lyapunov stability theoretic approach. The DES is modeled by an automata model with (possibly) an infinite number of states. It is assumed that more than one event can occur simultaneously. In fact, it is assumed that an enabled uncontrollable event can occur together with an enabled controllable event. First, stabilizability of invariant sets is analyzed and sufficient conditions for stabilizability of them are derived. Next, optimality in control of DES and optimal stabilization of invariant sets are considered and conditions for optimal stabilizability are presented. After that, the idea of limited look-ahead policies (LLP) for control of DES is employed and a result for the special case for the cost function in which disabeling events is free is presented. The general problem is not analyzed because of the complexity. Finally, two illustrative examples are presented.
منابع مشابه
Recent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملA new switching strategy for exponential stabilization of uncertain discrete-time switched linear systems in guaranteed cost control problem
Uncertain switched linear systems are known as an important class of control systems. Performance of these systems is affected by uncertainties and its stabilization is a main concern of recent studies. Existing work on stabilization of these systems only provides asymptotical stabilization via designing switching strategy and state-feedback controller. In this paper, a new switching strate...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملDetermination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کاملLyapunov Event-triggered Stabilization with a Known Convergence Rate
A constructive tool of nonlinear control systems design, the method of Control Lyapunov Functions (CLF) has found numerous applications in stabilization problems for continuoustime, discrete-time and hybrid systems. In this paper, we address the fundamental question: given a CLF, corresponding to the continuous-time controller with some predefined (e.g. exponential) convergence rate, can the sa...
متن کامل